\chapter{Manipulações de PPL}
Dado um PPL podemos efetuar as seguintes manipulações tal que o PPL resultante é equivalente ao inicial.